LCLint Output

LCLint 2.2 --- 25 Aug 96

order.c: (in function f)
order.c:11,17: Expression has undefined behavior
    (value of right operand modified by left operand):
    x++ * x
  Code has unspecified behavior. Order of evaluation
  of function parameters or subexpressions is not
  defined, so if a value is used and modified in
  different places not separated by a sequence point
  constraining evaluation order, then the result of
  the expression is unspecified. (-evalorder will
  suppress message)
order.c:13,11: Expression has undefined behavior (left
    operand uses i, modified by right operand):
    y[i] = i++
order.c:14,20: Expression has undefined behavior
    (value of right operand modified by left operand):
    modglob() * glob
order.c:15,20: Expression has undefined behavior
    (unconstrained function mystery used in left
    operand may set global variable glob used in right
    operand): mystery() * glob
  Code involving a call to function with no modifies
  or globals clause may have undefined or
  implementation-dependent behavior (LCLint assumes
  the unconstrained call may modify any reachable
  state or use any global). Add a specification for
  the function. (-evalorderuncon will suppress
  message)

Finished LCLint checking --- 4 code errors found